package wrm.saferJava.annotations.state;

public class ProtocolException extends Exception {
	
	public ProtocolException(String message) {
		super(message);
	}
}
